$\qed$
+\subsection{Unique Tips:}
+
+Single Parent Unique Tips applies. $\qed$
+
\subsection{Foreign Inclusion}
Simple Foreign Inclusion applies. $\qed$
-\subsection{Foreign Contents}
+\subsection{Foreign Ancestry}
Not applicable.
+\subsection{Bases' Children}
+
+Trivial, by Ingredients.
+$\qed$