A real decision is measured by the fact that you've taken a new action. If there's no action, you haven't truly decided.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.