"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
In mathematics, the journey to the solution is just as important as the solution itself.