Success is my only option, failure's not.
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
I think that one should recognize the reality even when one doesn't like it; indeed, especially when one doesn't like it.