"The past is never dead. It's not even past."

言论不能改变行动而又崇尚它，那就是说空话。 

吴越两国相互谋划计策繁多，浣纱的神女也前去参与调和

We believe in generosity, in the idea that architecture should give more than it takes.

模型检查是验证硬件和软件系统正确性的强大工具。

Technology should serve ecology, not the other way around.