Rule of Explosion/Variant 2

Theorem

 * $\vdash \paren {p \land \neg p} \implies q$