阅读就是睁着眼睛做梦。

The study of automorphic representations is a journey into the hidden patterns of mathematics.

当官从政，首先要使民风民俗敦厚；处理事务，首先要抓住问题的本质。

Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.

命题是断言某事是或不是事实的陈述。