在数学中，提出问题的艺术必须比解决问题更有价值。

Inner peace is the greatest wealth.

I don't give a damn if you're offended. I'm not gonna stop.

The challenge in model checking is not just to find errors, but to understand why they occur.

When basic needs are insecure, all idealism withers.

连人都不能很好地事奉，还怎么能事奉鬼呢？

We either do the best or we don't do it at all.