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

Happiness is not a matter of intensity but of balance, order, rhythm and harmony.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."
Creativity is allowing yourself to make mistakes. Art is knowing which ones to keep.