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