8.2 Properties of equality