Apparently you can generally assume x = x, which seems like a very nice feature and one that's perversely absent in all other programming languages I can think of.

https://bertrandmeyer.com/2010/02/06/reflexivity-and-other-p...