AlexMennen comments on Proof of fungibility theorem

[AlexMennen]

Problem appears to have been on my end. I can see both now.