"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
I'm not here to be perfect, I'm here to be honest.