译文：连续地打仗，百姓就会感到劳苦；长期打仗，士兵就会感到疲惫。

没有什么比一个显而易见的事实更具欺骗性。

最好的领导者是那些倾听多于说话的人。

The city is a collective memory, and architecture is the physical manifestation of that memory.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

领导力意味着有勇气做出艰难的决定，并有谦逊之心从错误中学习。