anticommit base acyclic

diff --git a/article.tex b/article.tex
index 0688c7ad02524d0d5c0d399682f3ac46946d1e1f..33a0846c50a91ae3a967e78e19c7fa4e08a4d9b2 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -488,9 +488,13 @@ applicable. $\qed$
 
 Again, not applicable. $\qed$
 
-xxx tbd
+\subsection{Base Acyclic}
 
-xxx need to finish anticommit
+By Base Acyclic for $L$, $D \isin L \implies D \not\in \py$.
+And by From Base $C \not\in \py$.
+Now from Desired Contents, above, $D \isin C
+\implies D \isin L \lor D = C$, which thus
+$\implies D \not\in \py$.  $\qed$.
 
 \section{Merge}