\subsection{Unique Base}
-Not applicable, by Base Only.
+Not applicable, by Base Only. $\qed$
\subsection{Tip Contents}
-Not applicable, by Base Only.
+Not applicable, by Base Only. $\qed$
\subsection{Base Acyclic}
\pdn$ so Bases' Children does not apply.
Other possibilities for $D \in \set R$ are excluded by Ingredients.
+
+$\qed$