Comment by compounding_it

Because the verification would also be done by something non deterministic and then that’s a paradox.