"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The study of complex systems has taught us that simple rules can give rise to incredibly complex behavior.