活着就是不断学习。

挑战不在于代表非洲，而在于呈现非洲的复杂性。

在每个词中都有一个待发现的世界，一个意义宇宙，将我们与我们存在的最深处连接起来。

当人民被迫服从而服从时，他们做的对。但是，一旦人民可以打破自己身上的桎梏而打破它时，他们就做的更对。

He who refuses to do arithmetic is doomed to talk nonsense.

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

通过行动来验证你的思想。