If x equals y, then y also equals x. If one object equals another, the reverse must also be true.