+\item[ $\displaystyle \stmtmergeof{\stmt L}{\stmt M}{\stmt R} $ ]
+The proper results of a merge. Formally,
+where $\stmt L$, $\stmt M$ and $\stmt R$ are statements:
+$$
+ \stmtmergeof{\stmt L}{\stmt M}{\stmt R}
+ \equiv
+ \begin{cases}
+ (\stmt L \land \stmt R) : & \true \\
+ (\neg \stmt L \land \neg \stmt R) : & \false \\
+ \text{otherwise} : & \neg \stmt M
+ \end{cases}
+$$
+
+May also be used with sets:
+$$
+ \setmergeof{\set L}{\set M}{\set R}
+ =
+ \left\{
+ \;
+ D \; \middle| \;
+ \setmergeof{ D \in \set L }{ D \in \set M }{ D \in \set R }
+ \;
+ \right\}
+$$
+