"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
I don't have to be anything other than what I am.