The challenge in model checking is not just to find errors, but to understand why they occur.
Men fear death as children fear to go in the dark; and as that natural fear in children is increased with tales, so is the other.
The most profound discoveries often come from the simplest observations.