The challenge in model checking is not just to find errors, but to understand why they occur.
The only limits that exist are the ones in your mind.
The more you know yourself, the more patience you have for what you see in others.