Modus Ponendo Ponens/Sequent Form/Proof 2