Another intermediate stage: almost finished using use of the
differential as a linear map between tangent spaces.