Chinese agriculture must take a modernization path with its own characteristics.

关于幸福，你只有在失去它的时候才知道你曾经拥有过。

I’m not a pessimist. I’m an optimist who’s been through a lot.

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