善良是一种人人都能理解的语言。

If you’re not failing occasionally, you’re not pushing hard enough.

The truth about the world is that anything is possible. Had you not seen it all from birth and thereby bled it of its strangeness it would appear to you for what it is. A hat trick in a medicine show. A fevered dream. A trance bepopulate with chimeras having neither analogue nor precedent. An itinerant carnival. A migratory tentshow whose ultimate destination after many a pitch in many a mudded field is unspeakable and calamitous beyond reckoning.

模型检查是验证有限状态并发系统正确性的强大技术。

我对人类的状况和是什么让人们心动感兴趣。

Overfishing is killing the goose that lays the golden eggs. We must adhere to scientific fishing and give the ocean time to recover.

在空无一物的地方，一切皆有可能。在有建筑的地方，其他可能性都不存在。

海鲜的未来取决于我们今天如何养殖。

我宣告：自由是人生的终极目标。