Communication equilibria with partially verifiable types · Study