strategy: define W in Notation

[topbloke-formulae.git] / create-base.tex

diff --git a/create-base.tex b/create-base.tex
index 9325091196c21b02e9ffbe047e17eb9ac4a14934..7983f6b9c3bca0c5dce5d7d55077f2c7063a076c 100644 (file)
--- a/create-base.tex
+++ b/create-base.tex
@@ -15,6 +15,9 @@ create a Topbloke base branch initial commit $B$.
 \[ \eqn{ Create Acyclic }{
  L \nothaspatch \pq
 }\]
+\[ \eqn{ Ingredients }{
+ \patchof L = \foreign \lor \patchof L = \py
+}\]
 
 \subsection{No Replay}
 
@@ -53,7 +56,11 @@ Single Parent Unique Tips applies.  $\qed$
 
 Simple Foreign Inclusion applies. $\qed$
 
-\subsection{Foreign Contents}
+\subsection{Foreign Ancestry}
 
 Not applicable.
 
+\subsection{Bases' Children}
+
+Not applicable, by Ingredients.
+$\qed$