Two Examples of Modus Tollens