1.4 Identity and Equality Properties