\subsection{Conditions}
+\[ \eqn{ From Base }{
+ L \in \pn
+}\]
\[ \eqn{ Unique Tip }{
\pendsof{L}{\pry} = \{ R^+ \}
}\]
\[ \eqn{ Currently Included }{
L \haspatch \pry
}\]
-\[ \eqn{ Not Self }{
- L \not\in \{ R^+ \}
-}\]
\subsection{No Replay}
\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