5.534 And we see that apparent propositions like: a = a, a = b . b = c . ⊃ a = c, “(x) . x = x, “(∃x) . x = a, etc. cannot be written in a correct logical notation at all.