The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

我们生来都是疯狂的，有些人一直如此。

Be yourself, the rest is up to time.

先生，你为什么要跑？你是为了世界和平吗？你是为了无家可归者吗？你是为了妇女权利吗？为了保护环境吗？他们就是不相信，有些人跑步，什么都不为，我只是想跑。我只是想跑。

从小处着眼。如果你从小处着眼，你就会保持小。如果你从大处着眼，你就会保持大。