X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=topbloke-formulae.git;a=blobdiff_plain;f=pseudomerge.tex;fp=pseudomerge.tex;h=27b2e528525bef39cd8a2bfe8556389cac0ff5c7;hp=a8ba08a6ebcaf247ac27eb89aa5f5adc658e2dba;hb=ff4ffb2eb74387bab00f6f7536f1037bb9a9f0aa;hpb=35d8920c70badf3ea6556ad6cf53ea96ef6aec0c diff --git a/pseudomerge.tex b/pseudomerge.tex index a8ba08a..27b2e52 100644 --- a/pseudomerge.tex +++ b/pseudomerge.tex @@ -90,7 +90,7 @@ Explicitly dealt with by our Unique Tips condition. True by Foreign Identical, and Foreign Inclusion of $L$. -\subsection{Foreign Contents} +\subsection{Foreign Ancestry} Not applicable.