Thread

This post is the first ever to be converted to a final draft. For the occasion, I thought we should do something that cannot be disputed.

$\mathbf{MP}:\;\; \varphi, \; \varphi \to \psi \;\vdash\; \psi$

$1$ : $\varphi$

$2$ : $\varphi \to \psi$

$\vdash \psi$