Gunnar_Zarncke comments on What math is essential to the art of rationality?