一个人托举重物，难以挺起；众人一起赶路，比较容易走得快。意谓互助、互动才易于做成事情，强调的是团结的力量。

如果你认为你理解了量子力学，那么你并没有真正理解量子力学。

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

The uncontrollability of gunpowder teaches me to accept imperfection. 火药的不可控性教会我接受不完美。

切勿觉得一定会成功而放弃思考。

译文：老天爷的心思猜不透，但做人的道理容易守住。

No man or woman is worth your tears， and the one who is， won‘t make you cry。