We are dispatching here to a different class and whatever our current class is, this particular self type refers self type in That class, the class in which we're doing the look up, not whatever class in which we're doing type checking. 