Adding Modus Ponens rule