h4l comments on Learning the foundations of math