We're not asking people to give up anything. We're giving them something better.

生存中最重要的工具不是刀或打火机。而是你求生的意志。

太阳必须落下才能升起。

I don't care what you think, I'm doing this for me.

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

真正的朋友是能看到你眼中痛苦的人，而其他人都只相信你脸上的笑容。

没有人能以纯净的眼光看待世界，他所看到的一切都被特定的习俗、制度和思维方式所过滤。