Implemented Modus Ponens