Conditionals, Modus Ponens, and Modus Tollens