strategy: define W in Notation

[topbloke-formulae.git] / anticommit.tex

diff --git a/anticommit.tex b/anticommit.tex
index 49931279917b36872d16a2f179788458ee4a7d17..cbe7998fa684c6e1f49bab615dd8948e00a8632d 100644 (file)
--- 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.
+