Disable proof.