We introduce costly verification into a general delegation framework. A principal faces an agent who is better informed about the efficient action but biased towards higher actions. An audit verifies the agent's information, but is costly. The principal chooses a permissible action set as a...