If one thing equals another, the second equals the first