 The side condition requires that the second blank is to be filled in with a (declarative) sentence of English and the first blank is to be filled in by a name of that sentence (Tarski 1933/1983: 155). The following string is an instance: 