lukeprog comments on A fungibility theorem