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

I'm not a teacher, I'm a student.
我不是老师,我是学生。
The challenge in model checking is not just to find errors, but to understand why they occur.
The night is my lover, and the music is my mistress.