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

Loyalty is everything.
A story is a way of making the invisible visible.
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."