In mechanism design with (partially) verifiable information, the revelation principle holds if allocations are modelled …. Consequently, incentive constraints characterize the implementable set. The revelation principle does not hold when an allocation …