reductio, deductive arguments in several steps

4 years ago