\begin{proposition}\label{phase7_diamond_base}
    For all $x$ we have $x = x$.
\end{proposition}