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

事实是，除非你放手，除非你原谅自己，除非你原谅这种情况，除非你意识到这种情况已经结束，否则你无法前进。

The greatest glory in living lies not in never falling, but in rising every time we fall.

性能的关键在于优雅，而不是大量的特殊情况。

We live in an era full of uncertainties, the only certainty is change itself.

The cause of light is not in the colors， but in the light.