-\subsection{Tip Self Inpatch}
-Given Exclusive Tip Contents and Base Acyclic for $C$,
+\subsection{Tip Own Contents}
+Given Base Acyclic for $C$,
Apply Exclusive Tip Contents to some $D \in \py$:
$ \bigforall_{C \in \py}\bigforall_{D \in \py}
D \isin C \equiv D \le C $.
Apply Exclusive Tip Contents to some $D \in \py$:
$ \bigforall_{C \in \py}\bigforall_{D \in \py}
D \isin C \equiv D \le C $.
and $D \isin A$. By No Replay for $A$, $D \le A$. And
$A \le C$ so $D \le C$.
}
\subsection{Simple Foreign Inclusion}
and $D \isin A$. By No Replay for $A$, $D \le A$. And
$A \le C$ so $D \le C$.
}
\subsection{Simple Foreign Inclusion}