Vladimir_Nesov comments on Econ/​Game theory question