type-coordination property: it fully coordinates on the ex-post efficient pure Nash equilibrium when the players' types are … different. Type-coordination is also obtained in a partially revealing equilibrium in which only the High-type is not truthful …