Bobertron comments on Learning the foundations of math