"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The most dangerous phrase in the language is, "We've always done it this way."
True leadership is about empowering others to achieve their potential.