X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=create-tip.tex;h=143a371bf839fe36d10121588fa4bef340e85027;hp=7dec4cb0d7d81b03adb8eb331934137abbba9ca1;hb=c880c46b8adbd5833d9d535101fec96436fc5492;hpb=7f5f6024b93005fdd9e81c6cc39934ca57999ea8 diff --git a/create-tip.tex b/create-tip.tex index 7dec4cb..143a371 100644 --- a/create-tip.tex +++ b/create-tip.tex @@ -76,11 +76,11 @@ Single Parent Unique Tips applies. $\qed$ Simple Foreign Inclusion applies. $\qed$ -\subsection{Foreign Contents} +\subsection{Foreign Ancestry} Not applicable. \subsection{Bases' Children} Trivial, by Ingredients. - +$\qed$