selylindi comments on A fungibility theorem