"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The poet is a dreamer who dreams with open eyes, and who sees the world not as it is, but as it could be.