What are the properties of equality