天下从事者，不可以无法仪;无法仪而其事能成者，无有也。
天下的一切事物不可以没有标准，做人要有做人的标准，即原则;做事要有做事的标准，即规则;治国要有治国的标准，即法则。不遵循一定的标准而能成事者，自古以来是没有的。
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
A man who moralizes is usually a hypocrite, and a woman who moralizes is invariably plain.
Sometimes the simplest solutions in chemistry are the most elegant and powerful.
我们必须以与面对面治疗相同的严谨和同情心设计数字工具。
The only thing that separates successful people from the others is hard work and determination.
一次不公的司法判决比多次不法的行为为祸尤烈。不法行为弄脏的不过是水流，而不公的判决则将水源污染了。