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

"Todos llevamos dentro historias que merecen ser contadas."
The future of computing lies in the development of systems that can verify their own correctness.
如果一种教义不是费解的,它就必须是含糊的,如果它既不费解也不含糊,它就必须是无法验证的。
The truth is not in the light, but in the shadow.
如果我不是生为拿破仑,那我就想生为亚历山大。