One Man’s Modus Ponens