Vladimir_Nesov comments on The genie knows, but doesn’t care