To be honest, I don’t fully follow the above, and I’m not sure if this formalises the same problem. Copying the definition from Wikipedia: > If P, then Q. > T

To be honest, I don’t fully follow the above, and I’m not sure if this formalises the same problem. Copying the definition from Wikipedia: > If P, then Q. > Therefore, if not P, then not Q. In this case, we could plug in the below values: P = Contract Hacked Q = Insecure I.e. if the contract has been hacked the code was insecure. Therefore if the contract has not been hacked, it is not insecure.