rvnnt comments on How necessary is intuition, for advanced math?