Every time you make a film, you're trying to make a little miracle.
"Verification is not just about finding bugs; it's about understanding why the system works the way it does."
The best way to predict the future is to invent it.