[alexnewman]

So if I find a bug or security bug does this speak to the usefulness of the formal verification claim?