我的心是旷野的鸟，在你的眼睛里找到了天空。

对时机的把握是天才的标志。

Never give up on something you really want. It's difficult to wait, but more difficult to regret.

有些怪异的人性总想把简单的事情弄得复杂。

我不相信写作障碍，我相信懒惰。

模型检查是验证硬件和软件系统正确性的强大工具。