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

记忆,即使是你最珍贵的记忆,也会以惊人的速度褪色。但我不这么认为。我最珍视的那些记忆,我从未见它们褪色。
Memories, even your most precious ones, fade surprisingly quickly. But I don’t go along with that. The memories I value most, I don’t ever see them fading.
"Memory is a tricky thing; it can be both a blessing and a curse."
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.