Properties of Equality