X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=create-tip.tex;fp=create-tip.tex;h=7dec4cb0d7d81b03adb8eb331934137abbba9ca1;hp=382cd0c69a516e431b51289e421398ac3cb9a33e;hb=7f5f6024b93005fdd9e81c6cc39934ca57999ea8;hpb=f5f93d74c204fcd773074e61aa4fac1a3e48aa3c

diff --git a/create-tip.tex b/create-tip.tex
index 382cd0c..7dec4cb 100644
--- a/create-tip.tex
+++ b/create-tip.tex
@@ -80,3 +80,7 @@ Simple Foreign Inclusion applies.  $\qed$
 
 Not applicable.
 
+\subsection{Bases' Children}
+
+Trivial, by Ingredients.
+