"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."
"The problem with being faster than light is that you can only live in darkness."
The challenge in model checking is not just to find errors, but to understand why they occur.