Great leaders don't create followers, they create more leaders.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The most effective way to destroy people is to deny and obliterate their own understanding of their history.
幸福不是没有问题，而是有能力处理问题。
Collaboration is the only way to solve the challenges facing our fisheries.