X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=anticommit.tex;h=cbe7998fa684c6e1f49bab615dd8948e00a8632d;hp=49931279917b36872d16a2f179788458ee4a7d17;hb=HEAD;hpb=547f81711b274591ce075b8df2c3e41c6394eb93

diff --git a/anticommit.tex b/anticommit.tex
index 4993127..cbe7998 100644
--- a/anticommit.tex
+++ b/anticommit.tex
@@ -140,7 +140,11 @@ Thus $D \isin C \equiv D \le C$.
 
 $\qed$
 
-\subsection{Foreign Contents}
+\subsection{Foreign Ancestry}
 
 Not applicable.
 
+\subsection{Bases' Children}
+
+Trivial.
+