"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Success is not about being the best. It's about always getting better.