Slide "Defining equals(...): Expectations"