kilobug comments on A fungibility theorem