I also like his point (in conversation with Sean Carroll) that we have rigorous proof that the notion of explanation can't be formalized, yet explanation is at the core of the scientific endeavor anyway.