形式化方法的美在于它们能够提供关于系统行为的绝对保证。

人生而自由，却无处不在地受着枷锁。

人类进化的故事是迁徙与混合的故事。

I've always been very driven and ambitious. I've always wanted to be the best at whatever I do.

生命太短暂，不能浪费时间恨任何人。