RIP modus ponens!