todo list item

[topbloke-formulae.git] / article.tex

diff --git a/article.tex b/article.tex
index c3c658ce30a417fe861c3a52abd8762ba72d1142..50fc96c526c2153a95b57546a828beedfec2e297 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -497,6 +497,8 @@ Consider some $D \isin B$.  If $D = B$, $D \in \pn$, OK.
 If $D \neq B$, $D \isin L$.  By No Replay of $D$ in $L$, $D \le L$.
 Thus by Foreign Contents of $L$, $\patchof{D} = \bot$.  OK.
 
+xxx this is wrong
+
 $\qed$
 
 \subsection{Coherence and Patch Inclusion}