君子心中常常体会到的不是人情而是天理;君子口中所常说的不是人伦世故而是世间法理;君子常有的行为不是规矩而是行为的原则。
没有一个社会能够真正繁荣和幸福,其中大多数成员都贫困和痛苦。
信任是通过透明度和一致的行动建立的。
The future of computing lies in the development of systems that can verify their own correctness.