The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Your time is limited, so don’t waste it living someone else’s life.