 At levels equal to or less than \(m+1\), \(\het(v)\) is false; that is, \(v\) is autological. At levels greater than \(m+1\), v is heterological; this, according to (\(6'\)) and (\(7'\)). There is, therefore, no one property of heterologicality such that it is possible to ask whether a word for it is heterological or not; and this blocks GP.