圣人常顺时而动，智者必因机而发。
译文：品德高尚的人常常顺应时势做事，聪明的人会根据时机采取行动。赏析：不能看清社会的现状，不能认清社会的趋势，那就是违背天道，逆天而为，事情自然就不会成功。
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
Strive for excellence, not mediocrity.
负责任的捕捞不是减少捕捞量，而是更聪明地捕捞。