Stopping in AboutHigherFunctions. Not grasping 'reduce'