And we see that the apparent propositions like: “ a = a ”, “ a = b . b = c . ⊃ a = c ”, “ ( x ) . x =