RolfAndreassen comments on What mathematics to learn