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

Then \begin{equation} \models \neg \neg \phi \leftrightarrow \phi \end{equation}