Tag: properties of equality