Only by continuous learning can we make continuous progress.

拍卖的价值不仅在于产生的收益，还在于分配的效率。

Every man is guilty of all the good he did not do.

Gratitude will unlock all other virtues and is something you can get better at.

动物体内的血液被推动着循环，处于永不停息的状态。

给你找麻烦的不是那些你未知的东西，而是那些你确信无疑但事实上并不是那么回事的东西。

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