Rule of Explosion/Variant 3

Theorem

 * $p, \neg p \vdash q$