5.534 And now we see that pseudo-propositions like “a = a”, “a = b . b = c . [if…then] a = c”, “(x) .x = x”, “(Ex) .x = a”, etc. cannot be written at all in a correct concept script.

I.e., one that dispenses with all that can be dispensed with.