好的建筑是让城市变得更好的建筑。
A good building is one that makes the city better.
The unknown is not to be feared but to be explored.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
法律是一个规则系统,是义务的主要规则与承认、变更和裁决的次要规则的结合。