Rule of Explosion/Sequent Form

Theorem
The Rule of Bottom-Elimination can be symbolised by the sequent:
 * $\bot \vdash \phi$