Chapter 3: Modus Ponens