\begin{definition}\label{phase5_combined_alias}
    The parity combined value of $X$, $\cons{X}{X}$, is $X$.
\end{definition}
