Qiaochu_Yuan comments on The Costly Coordination Mechanism of Common Knowledge