成为一体、团结一致是伟大的。但尊重差异的权利可能更伟大。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."