No, but you can certainly exercise it well. It might be a degree of confidence measure. Combined with property verification (so, formal verification), you&#x27;d get a damn good idea they&#x27;d be close.