当你做出一个新的、一致的和坚定的决定时，你的生活就会改变。
You can't have a better tomorrow if you're still thinking about yesterday.
我不想只做一个艺人，我想成为一个伟大的艺人。
我不是榜样，我只是一个说唱的人。
我们不是在创造物体，而是在创造场所。
模型检查是验证有限状态并发系统正确性的强大技术。