Send the following on WhatsApp
Continue to ChatThe job of formal methods is to elucidate the assumptions upon which formal correctness depends. - Tony Hoare from https://whatsmyquote.com/quote/the-job-of-formal-methods-is-to-elucidate-the-assumptions-upon-which-formal-correctness-depends