—— 请按键盘 空白键 开始游戏 ——

Purely applicative languages are poorly applicable.
The conjectures of the Langlands program are not merely problems to be solved but a vision of how mathematics should be.