refactor for coherence cases - simple, more

diff --git a/simple.tex b/simple.tex
index ae6fc5551fd797dedeeeced6423cf5708b0d0f05..df7a9a72ca9a6062e613da10057f3e6efd906df1 100644 (file)
--- a/simple.tex
+++ b/simple.tex
@@ -79,6 +79,7 @@ Ancestors: $ D \le C \equiv D \le L $.
 
 Contents: $ D \isin C \equiv D \isin L \lor f $
 so $ D \isin C \equiv D \isin L $, i.e. $ C \zhaspatch P $.
+OK.
 
 \subsubsection{For $L \nothaspatch \p$:}