reductio, deductive arguments in several steps

5 years ago