"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

With a library you are free, not confined by temporary political climates. It is the most democratic of institutions because no one - but no one at all - can tell you what to read and when and how.

在寡头政治中的国王的暴政对公共福祉的威胁不如在民主国家中公民的冷漠。