On a supposed counterexample to modus ponens