pseudomerge: clearer Base Only

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

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