Let $\phi \in \text{Proposition}$ be a D2966: Propositional expression.

Then \begin{equation} \neg \neg \phi \quad \iff \quad \phi \end{equation}