模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
始终以最终用户为设计核心；功能永远不应为美学而牺牲。
我感到兴趣的是:为所爱而生,为所爱而死。
Architecture should speak of its time and place, but yearn for timelessness.
A building should feel inevitable, as if it couldn't be any other way.