Is there any *real world* pragmatic reason to give an autistically "rigorous" mathematical treatment to problems in fields downstream (engineering, physics, biology, whatever)? Or does it ultimately stifle development in such field by making results incomprehensible to 99% of people involved, without 5 years of studying exclusively autistic maths?