Modus Ponendo Ponens/Sequent Form

Theorem
The Modus Ponendo Ponens can be symbolised by the sequent:
 * $p \implies q, p \vdash q$