That's one small step for (a) man, one giant leap for mankind.
When you have eliminated the impossible, whatever remains, however improbable, must be the truth.
The Langlands program is a challenge to our understanding of the fundamental nature of mathematics.
实现明天理想的唯一障碍是今天的疑虑。