 In this scheme, the question whether the word “heterological” is heterological becomes the question whether a word \(v\) denoting that property, or rather a word with same extension, is heterological; and the answer is that it depends on the level of the property \(\het^{m+1}\).