"The pursuit of science is not just a profession, but a way of life."
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
The truth is rarely pure and never simple.