A proof that cannot be mechanically verified as syntactically complete conflates semantic entailment...