path: root/test/phase5/exact-source-axiom.tex

\begin{axiom}\label{phase5_exact_source_axiom}
    For all $x$ we have $x = x$.
\end{axiom}