Don’t find fault. Find a remedy.
别找错，找解决办法。
The advancement of mathematics is through generalization.
April is the cruelest month, breeding lilacs out of the dead land, mixing memory and desire, stirring dull roots with spring rain.
The challenge in model checking is not just to find errors, but to understand why they occur.