Chapter 3, implementation of equality.