A leader's job is not to do the work for others, but to help others figure out how to do it themselves.
模型检查的挑战不仅在于发现错误,还在于理解它们为何发生。
沉默在音乐中非常重要。
争论是俗不可耐的,因为道德社会里每个人都持完全相同的观点。
血是最贵重的液体。