Re: [Haskell-cafe] Formal Verification & Modern AI Safety