Eager and intense desire is the mainspring of all effective effort.  
The essence of science is to ask the right questions.
The challenge in model checking is not just to find errors, but to understand why they occur.