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

A proof is a repeatable experiment in persuasion.