Rule of Conjunction/Sequent Form

Theorem
The Rule of Conjunction can be symbolised by the sequent:
 * $p, q \vdash p \land q$