Dear Professor Tennant, The explanation of the "strange phenomenon" you have observed is that the "innocuous-seeming" reductions are far from "legitimate". You will find a detailed explanation in Chapter 8 of my thesis, Identity of Proofs, which I sent you a month ago. Best regards, Filip Widebäck