"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
The rule of recognition is the ultimate rule of a legal system.
"A good programmer is not one who knows all the answers, but one who knows how to find them."