3 ms·Yes, indeed, a proof proves what it proves. You confuse spec and proof.by practal 11mo agoYes, indeed, a proof proves what it proves. You confuse spec and proof.