That is, of course, a very silly cultural thing they'd be better off without. My supervisor spent a decade in industry before returning to academia, and he's a pure mathematician/logician.