Properties of equality.