If you can't make it good, at least make it look good.

教育的根是苦的，但其果实是甜的。

The most common form of despair is not being who you are.

Games are not just entertainment, they are also an expression of culture and art.

我不是那种会让对力量房的热爱减少的人。

We must be free not because we claim freedom, but because we practice it.

形式化方法的美在于它们能够提供关于系统行为的绝对保证。