城市永不眠，我也是。
The city never sleeps, and neither do I.
我们不发明任务，而是发现任务。
The conjectures of the Langlands program are not merely problems to be solved but a vision of how mathematics should be.
心理学理论的检验标准是其对生活的适用性。