The most radical thing you can do is to be absolutely contextual.
人生是一次性的旅行，让我们勇敢地生活，不留遗憾。
跳著舞的流水啊!当你途中的泥沙为你的歌声和流动哀求时，你可愿意担起他们跛足的重担?
成功不是幸福的关键。幸福才是成功的关键。如果你热爱你所做的事情，你就会成功。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。