The challenge in model checking is not just to find errors, but to understand why they occur.
世界是一场伟大的舞蹈，我们是其中的舞者。
I don't want to be alone, I want to be left alone.
Life's too short to hang out with people who aren't resourceful.
The greatest risk is not taking one.
We die containing a richness of lovers and tribes, tastes we have swallowed, bodies we have plunged into and swum up as if rivers of wisdom, characters we have climbed into as if trees, fears we have hidden in as if caves.