Comment by js8

Close can count in math - fuzzy logic and probability are a thing.

But I think you have it backwards. Close doesn't count in IT security. "Almost secure" means unsecure. Security is the compelling argument for formal verification.