 However, in a further twist, Carnap responds that “English” as \(he\) intends it means something like “the unique language having such and such semantical rules” and he brings this to Church’s attention in his letter (1950b [BE: 1063]), thus challenging Church’s claim that (5) is an item of factual information not contained in (3) but needed to infer (2) from (3). Church recognizes the threat: