By Currently Included, $D \isin L$.
-By Tip Self Inpatch for $R^+$, $D \isin R^+ \equiv D \le R^+$, but by
+By Tip Own Contents for $R^+$, $D \isin R^+ \equiv D \le R^+$, but by
by Unique Tip, $D \le R^+ \equiv D \le L$.
So $D \isin R^+$.
\subsection{Unique Base}
Into Base means that $C \in \pqn$, so Unique Base is not
-applicable. $\qed$
+applicable.
\subsection{Tip Contents}
-Again, not applicable. $\qed$
+Again, not applicable.
\subsection{Base Acyclic}