译文：下雪时送木炭的君子很少，在彩色锦缎绣花的小人很多。赏析：在我们遇到困难时伸出援手的人不多，更多的人因为利益而去巴结我们。人情淡薄，越是需要帮助的越没人帮助，越是得势富足的越有人去巴结。

最大的风险就是不冒任何风险。在一个快速变化的世界里，唯一注定失败的策略就是不冒险。

建筑关乎时间，关乎事物如何随时间变化。

作家必须勇敢地面对那些别人选择忽视的真相。

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