I see several studies on optimal tax audit that assume the revelation principle (Myerson, 1981) on a tax game. The conventional tax game refers to a taxpayer who has a true income (private information) and reports a taxable income for a tax agency. The taxpayer has incentives to report a taxable income which is lower than the true income, so to pay less taxes. If the tax agency caches the taxpayer in a probable audit, the tax agency observes the true income, requires the payment of the full tax plus a fine over the evaded taxes. In this case, the taxpayer problem is to maximise the expected net income after taxes. The tax agency problem is to design a policy to maximise tax revenues subjected to costly audits, over the full population of taxpayers. Everything fine up to now.
Nonetheless, for the analysis of the tax agency problem, several studies declare that they assume the classical revelation principle by Myerson (1981), so to simplify the analysis. For example, on the study of Border and Sobel (1987) entitled Samurai Accountant: A Theory of Auditing and Plunder, they state (page 526 of the study):
"Without loss of generality we can restrict attention to incentive compatible direct revelation schemes, i.e. those in which the agent truthfully announces his wealth and makes a payment (which for convenience we will call a tax) based on his announcement to the principal and the principal chooses the probability of auditing based on reported wealth."
This whole sentence does not make so much sense for me: if the tax policy is equivalent to a direct revelation scheme that makes the taxpayer report truthfully, true income and reported income are the same (Nash equilibrium), so tax audits would be unnecessary. At the same time, we know that tax audits are necessary, for the taxpayers would have strong incentives to evade if there are no tax audits. In this case, I understand that the tax policy is not equivalent to a direct revelation scheme, so the revelation principle would not be applicable to this case.
So, what am I missing here?