merge reference to no replay fix ref to be more regular

diff --git a/article.tex b/article.tex
index ec02ceec2cd4b5fb0ab2851cdafc9d1cfefae2b7..b7df641e68703266c1729e1c3abf32680e35f805 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -577,7 +577,7 @@ Merge Ends condition applies.  Good.
 
 \subsection{No Replay}
 
-See No Replay for Merge Results.
+No Replay for Merge Results applies.  $\qed$
 
 \subsection{Unique Base}