strengthen anticommit condition to From Base

diff --git a/article.tex b/article.tex
index d1ce6e884fbd0d2b94646395578f627d148008d6..0688c7ad02524d0d5c0d399682f3ac46946d1e1f 100644 (file)
--- a/article.tex
+++ b/article.tex
@@ -429,15 +429,15 @@ Used for removing a branch dependency.
 
 \subsection{Conditions}
 
 
 \subsection{Conditions}
 

+\[ \eqn{ From Base }{
+ L \in \pn
+}\]

 \[ \eqn{ Unique Tip }{
  \pendsof{L}{\pry} = \{ R^+ \}
 }\]
 \[ \eqn{ Currently Included }{
  L \haspatch \pry
 }\]
 \[ \eqn{ Unique Tip }{
  \pendsof{L}{\pry} = \{ R^+ \}
 }\]
 \[ \eqn{ Currently Included }{
  L \haspatch \pry
 }\]

-\[ \eqn{ Not Self }{
- L \not\in \{ R^+ \}
-}\]

 
 \subsection{No Replay}
 
 
 \subsection{No Replay}
 


@@ -481,7 +481,12 @@ $\qed$
 
 \subsection{Unique Base}
 
 
 \subsection{Unique Base}
 

-Need to consider only $C \in \py$, ie $L \in \py$.
+From Base means that $C \in \pn$, so Unique Base is not
+applicable. $\qed$
+
+\subsection{Tip Contents}
+
+Again, not applicable. $\qed$

 
 xxx tbd
 
 
 xxx tbd