You have to spend some energy and effort to see the beauty of math.

我们负责任地养殖的每一条鱼，都是从已经紧张的野生种群中减少的一条。

The right of a nation to kill a tyrant in case of necessity can never be doubted until the right of a tyrant to kill a nation has been proved.

"Innocence always calls mutely for protection when we would be so much wiser to guard ourselves against it: innocence is like a dumb leper who has lost his bell, wandering the world, meaning no harm."

The future of computing lies in the development of systems that can verify their own correctness.

今天很残酷，明天更残酷，后天很美好，但绝大部分人死在明天晚上。