\begin{definition}[Definition:Constructed Semantics/Instance 5]
Let $\LL_0$ be the language of propositional logic.
The constructed semantics $\mathscr C_5$ for $\LL_0$ is used for the following results:
* Hilbert Proof System Instance 2 Independence Results: Independence of $(\text A 4)$
\end{definition}