关于幸福，你只有在失去它的时候才知道你曾经拥有过。

译文：保持虚静无为的状态，往往会从隐蔽的角度得知他人的行为漏洞。

现代国家的挑战是在提供服务和维护秩序的同时保持其合法性。

The only way to make sense out of change is to plunge into it, move with it, and join the dance.

模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。