大海不拒绝各种各样的水，所以才能成就它的博大；大山不拒绝形形色色的土石，所以才能成就它的高峻；贤明的君主不嫌弃百姓，所以能够聚集众多的臣民；读书人不厌倦学习，所以能达到圣贤的境界。

当我们既倾听科学家又倾听农民时，真正的进步才会发生。

To write is to give voice to the silent, to make visible the unseen.

There are places in the world where the old gods still walk.

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