  In the 1936 paper Tarski seems to be thinking paradigmatically of languages in which (as in LAr) there is a predicate (“N” in the case of LAr) that applies exactly to the individuals in the domain of the intended interpretation of the language. He says elsewhere that the variables of such a language range exclusively over the individuals of that set (cf. Tarski 1937, p. 84). (This is not to say that Tarski adopts these conventions with all the languages he considers. For example, he does not adopt them with languages which, like LGTC, are used to talk about arbitrary individuals, as opposed to specific sets of  them).[2]