现代采石必须将地质学的智慧与工程的创新相结合。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

A building should respect its surroundings, not dominate them.

世界上充满了显而易见却无人注意的事物。

Noman giveth to himself that liberty， to take from himself his life， or any part thereof.

The Internet is a global resource that should be managed for the public good.

I think the most important thing in life is to be true to yourself.