A sentence cannot refer to Tr as a predicate of the same language in which it is formed, because Tr ...