X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=create-base.tex;h=0b70ee4a33187289503af3c93e95c014b7c9c261;hb=c3b1d7b775527e0ceb1c9a2443cc7e7cc5fed2ef;hp=9325091196c21b02e9ffbe047e17eb9ac4a14934;hpb=956b3037d99b876e65d00ac8de401412cd00f109;p=topbloke-formulae.git

diff --git a/create-base.tex b/create-base.tex
index 9325091..0b70ee4 100644
--- 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}
 
@@ -57,3 +60,7 @@ Simple Foreign Inclusion applies. $\qed$
 
 Not applicable.
 
+\subsection{Bases' Children}
+
+Not applicable, by Ingredients.
+