I think a rigid foundation is a good thing for reasons that might not be obvious. I have never had to use much calculus for any job I had over the past 30 years

I think a rigid foundation is a good thing for reasons that might not be obvious. I have never had to use much calculus for any job I had over the past 30 years and the rigorous Dijkstra formal methods that were punched into me at university are not often practical, however, they do help me to understand things on a deeper level and allow me to document things in a clearer fashion. I recently needed proofs to show why one of our solutions was more secure than any existing solution in payments and the auditors were delighted it was written on 1 A4 pdf in terse formulas instead of the gibberish they usually get (they said they often get 80 page presentations (yes, actual powerpoint) they have to distill into something that even makes logical sense let alone passes, but that is what they get paid for). It is good for the mind imho.