The true delight is in the finding out rather than in the knowing.
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."