X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=simple.tex;h=ffd2d8d0ca378f2c58e48ac0f33bb792e4d26f45;hp=2a2501b29e6355d8046ec1eb08ef8c14eb3574c3;hb=HEAD;hpb=7f5f6024b93005fdd9e81c6cc39934ca57999ea8 diff --git a/simple.tex b/simple.tex index 2a2501b..ffd2d8d 100644 --- a/simple.tex +++ b/simple.tex @@ -98,10 +98,10 @@ Single Parent Unique Tips applies. $\qed$ Simple Foreign Inclusion applies. $\qed$ -\subsection{Foreign Contents:} +\subsection{Foreign Ancestry:} Only relevant if $\isforeign{C}$, and in that case Totally -Foreign Contents applies. $\qed$ +Foreign Ancestry applies. $\qed$ \subsection{Bases' Children:}