"In the end, we are all alone, and that is the ultimate truth of existence."
The challenge in model checking is not just to find errors, but to understand why they occur.