\section{Create Tip}
Given a Topbloke base $B$ for a patch $\pq$,
-create a tip branch initial commit B.
+create a tip branch initial commit $C$.
\gathbegin
C \hasparents \{ B \}
\gathnext
- \patchof{B} = \pqy
+ \patchof{C} = \pqy
\gathnext
D \isin C \equiv D \isin B \lor D = C
\end{gather}
$\qed$
+\subsection{Unique Tips:}
+
+Single Parent Unique Tips applies. $\qed$
+
\subsection{Foreign Inclusion}
Simple Foreign Inclusion applies. $\qed$