\section{Some lemmas}
-\subsection{Alternative (overlapping) formulations of $\mergeof{C}{L}{M}{R}$}
+\subsection{Alternative (overlapping) formulations of $\commitmergeof{C}{L}{M}{R}$}
$$
D \isin C \equiv
\begin{cases}
\text{as above with L and R exchanged}
\end{cases}
$$
-\proof{ ~ Truth table (ordered by original definition): \\
+\proof{ ~ Truth table (ordered by original definitions): \\
\begin{tabular}{cccc|c|cc}
$D = C$ &
$\isin L$ &