Comment by SwtCyber

And what's interesting is that formalization doesn't just catch missing cases, it also forces you to examine all the assumptions that everyone has been taking for granted