"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
"一个好的摄影师知道何时打破规则。"