 Church claims that this is “an item of factual information not contained in [(3)]”, and it was Church’s view that the word “English” as commonly used contains “reference to matters of pragmatics” (1950b [BE: 1060]). By this he meant that the word “English” means something like, as Church puts it, “the language that was current in the United States, Canada and Great Britain in 1949 AD”, since it allows that English is an evolving rather than a fixed system (1950). If so, it seems clear that the information given by [(2)] is not contained in [(3)] and that translation is not required to establish this.