OK, so what are you comparing when you assert that A = A is true?
What do you mean by "="?
No, there aren't two different A's in the abstract.
Listen yourself!
No, you are violating correspondence.
That's what I've been doing all along, so?
But what do you mean? Are we talking about two humans or two strings in a computer or what?
We are talking about reality!