所有负面的事件、压力、挑战,都是我崛起的机会。
In crowds it is stupidity and not mother-wit that is accumulated.
None but the brave deserves the fair.
The challenge in model checking is not just to find errors, but to understand why they occur.