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

出自汉·桓宽《盐铁论·后刑》。锄去田里有害的杂草，禾苗就可以健康地生长；惩罚为非作歹的恶人，百姓就会感到喜悦。

The novel is a mirror walking down the road.

"We are all haunted by the past, and the past is always present."

最终，我们都只是故事。重要的是我们如何讲述它们。

人类似乎有这样的倾向，建立一项规则叫别人遵守，同时又极力使自己成为例外，不受它的约束。

书籍是镜子，但它们也是窗户。

我只是尽力打好我的比赛并享受乐趣。当我享受比赛时，我会打得更好。

The companies that will thrive are those that see environmental challenges as design opportunities.