当你敢于打破规则时，最好的发现才会到来。

I believe that architecture is a social art.

艺术可以是一种行动主义。

Solving a problem simply means representing it so as to make the solution transparent.

Health is not a privilege of the rich, but a vulnerability of the poor.

Ignoring isn’t the same as ignorance, you have to work at it.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。