merge complex done

diff --git a/article.tex b/article.tex
index b71b1884bacd8291b3e4c8016453e55b6e910adb..cbd56840b63d5579073f30786bcac5ed76fa1773 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -614,4 +614,6 @@ Thus $D \isin M$.  By $\merge$, $D \not\isin C$.  OK.
 Consider $D \neq C, M \haspatch P, D \not\isin Y$:
 By $\merge$, $D \not\isin C$.  OK.
 
+$\qed$
+
 \end{document}