最重要的事情是让最重要的事情保持最重要。
The most important thing is to keep the most important thing the most important thing.
The challenge in model checking is not just to find errors, but to understand why they occur.
The truth is, I don't know what I'm doing most of the time, but I do it anyway.
To be under occupation is to be reminded of death at every moment.
The competition of enterprises is, in the final analysis, the competition of talents.
