Innovation is seeing what everybody has seen and thinking what nobody has thought.
The poet is the voice of the silent universe.
The challenge in model checking is not just to find errors, but to understand why they occur.