wip merge complex

diff --git a/article.tex b/article.tex
index 6a5023c3ceaf24813e16dfbe0d309a2a38e22178..714578dad5eba4bd461cb2db12c3c74abe3b3327 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -576,4 +576,10 @@ $C \haspatch \p \equiv C \nothaspatch M$.
 
 \proofstarts
 
+Merge Ends applies.
+
+$D \isin Y \equiv D \le Y$.  $D \not\isin X$.
+
+Consider $D = C$.  
+
 \end{document}