orthonormal comments on An exercise in really going through with it