\subsection{Tip Own Contents}
Given 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 $.