\subsection{Conditions}
-\[ \eqn{ From Base }{
+\[ \eqn{ Into Base }{
L \in \pn
}\]
\[ \eqn{ Unique Tip }{
\subsection{Unique Base}
-From Base means that $C \in \pn$, so Unique Base is not
+Into Base means that $C \in \pn$, so Unique Base is not
applicable. $\qed$
\subsection{Tip Contents}
\subsection{Base Acyclic}
By Base Acyclic for $L$, $D \isin L \implies D \not\in \py$.
-And by From Base $C \not\in \py$.
+And by Into 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$.