\begin{axiom}\label{phase5_exact_source_axiom_assumptions}
    Let $A$ be a set.
    Let $x\in A$.
    Suppose $x = x$.
    Then $x\in A$.
\end{axiom}
