the tools of formal analysis help us to: