Correctness (of a given assertion) doesn’t need to be established to exist