The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Hope is the last thing to die, and the first thing to betray you.