Rule modus ponens