"reductio" - key terms from Wikipedia