A Counterexample to Modus Ponens | Hacker News Reader