"In the end, we will remember not the words of our enemies, but the silence of our friends."

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

"Kindness is a language that everyone understands."

【解释】脑力劳动者统治人，体力劳动者被人统治；被统治者养活别人，统治者靠别人养活，这是通行天下的原则。