handoflixue comments on A fungibility theorem