形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
真正吸引他人的只有两种人无所不知者,和一无所知者。
An eye for an eye will only make the whole world blind.
In the world of databases, performance is king. But performance without reliability is meaningless.