nhamann comments on Learning the foundations of math