我们都受社会契约的约束,须遵守法律,但我们也有权参与制定这些法律。
The theory of reductive groups is the backbone of the Langlands program.