In mechanism design with (partially) verifiable information, the revelation principle obtains in full generality if allocations are modelled as the product set of outcomes and verifiable information. Incentive constraints fully characterize the implementable set of these product-allocations. The...