Proof identity in the correspondence presupposes that syntactically distinct proofs of the same form...