Foreign Ancestry: rename from Foreign Contents (and Totally Foreign Ancestry too)

[topbloke-formulae.git] / lemmas.tex

diff --git a/lemmas.tex b/lemmas.tex
index 23e22f3285bbc2ec8544714a1ed4d8a04479121d..8efa09c9bac137dcdca9e6d59531ec674128b1da 100644 (file)
--- a/lemmas.tex
+++ b/lemmas.tex
@@ -187,7 +187,7 @@ And by Exact Ancestors $D \le L \equiv D \le C$.
 So $D \isin C \equiv D \le C$.
 }
 
-\subsection{Totally Foreign Contents}
+\subsection{Totally Foreign Ancestry}
 Given conformant commits $A \in \set A$,
 $$
    \left[
@@ -206,6 +206,6 @@ $$
 \proof{
 Consider some $D \le C$.  If $D = C$, $\isforeign{D}$ trivially.
 If $D \neq C$ then $D \le A$ where $A \in \set A$.  By Foreign
-Contents of $A$, $\isforeign{D}$.
+Ancestry of $A$, $\isforeign{D}$.
 }