"I’ve practiced so much that I don’t need to think before I play. It’s like driving a car—you don’t think about which pedals to push."
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."