A story is never finished; it simply waits for the next teller.
The challenge in model checking is not just to find errors, but to understand why they occur.
I've been through a lot in my life, and I'm still here.
