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

Freedom is not merely the opportunity to do as one pleases; neither is it merely the opportunity to choose between set alternatives. Freedom is, first of all, the chance to formulate the available choices, to argue over them—and then, the opportunity to choose.
Under uncertainty, it's better to err on the side of being too aggressive than too passive.
A proof is a device for convincing someone else that a mathematical statement is true.