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.