法律是一个规则系统,是义务的主要规则与承认、变更和裁决的次要规则的结合。
The Langlands program is not just a collection of conjectures but a way of thinking about mathematics.