 Already in the 1950s model theorists were interested in formal languages that include kinds of expression different from anything in Tarski’s 1933 paper. Extending the truth definition to infinitary logics was no problem at all. Nor was there any serious problem about most of the generalised quantifiers proposed at the time. For example there is a quantifier \(Qxy\) with the intended meaning: