Oscar_Cunningham comments on Proof of fungibility theorem