I have learned to seek my happiness by limiting my desires， rather than in attempting to satisfy them.

广东话谚语

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

新闻自由不仅对民主重要，它就是民主。