To be fair, I have not read the article. I am to busy with work today, but I did bookmark it for later. Also, thank you for not being insulted by my question. I

To be fair, I have not read the article. I am to busy with work today, but I did bookmark it for later. Also, thank you for not being insulted by my question. It wasn't meant as an insult, I was just pondering what the net effect might be if in formalism became dominant: > why bother going all the way "down there" just to say "good enough"? Why not say "good enough" a lot higher up the ladder closer to where the problem originated. That is exactly what motivated me to pose the question. Will would-be amateur mathematicians, that might have been great, find themselves lacking the necessary motivation to pursue a deeper understanding of the material? Will they stop climbing the ladder and just say -- good enough?