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

The interpretation of legal texts is a central task of legal reasoning.
The best way to predict the future is to invent it.
λ演算本质上是一个关于函数及其应用的理论。