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