\begin{definition}\label{phase5_guarded_definition}
    Suppose $\top$.
    The parity guarded value of $X$ is $X$.
\end{definition}
