"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
The arithmetic of modular forms is a key to understanding the deeper mysteries of number theory.
I always try to do things that scare me a little bit.