Modus Ponendo Ponens in Sequent Form