Q: Why are you you
A: ah, that is due to the reflexive property of equality