reductio, deductive arguments in several steps

3 years ago