Search term modus ponendo ponens has one result