 In order to obtain concrete definitions we substitute in the place of the symbol ‘\(p\)’ in this scheme any sentence, and in the place of ‘\(x\)’ any individual name of this sentence. (Tarski 1933/1983: 155–6)