The stories of the land are written in the stars, the rivers, and the trees.

"The most ordinary life, when examined closely, becomes extraordinary."

尽力而不能达到的，圣人不会苛责于人。应当尽心而未尽心，圣人不会推御责任。

当别人都不相信你时，你必须相信自己——这就是冠军的秘诀。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."