I'm an engineering student and by now my brain has learned to tune out whenever the words "rigor", "proof" or similar are uttered. I really, sincerely don't care about the formal stuff. If I get the intuition then I'm satisfied, and I'm sick of the formal stuff. Someone's got to do it, but I don't want to be one of them. This doesn't mean I don't want to learn about advanced stuff; it just means that I'm fine with a shallower treatment with an emphasis on implementing and intuitive understanding rather than proving. I would like a school more to my tastes, but university is where all the smart kids go, so I go there as well. I would like an alternative, and I think I'm not alone.