torekp comments on A fungibility theorem