在生物圈的地质历史演化中，智慧圈是众多阶段的最后一个阶段。

所有人类行为都有以下七个原因中的一个或多个：机会、自然、强迫、习惯、理性、激情和欲望。

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

我不需要任何人的认可来知道自己的价值。

Climate change is the greatest threat to global forests, but also our greatest opportunity for innovation.

Before you are old， attend as many funerals as you can bear， and listen. Nobody talks about the departed’s achievements. The only thing people will remember is what kind of person you were while you were achieving.