我们在一个框架下研究最优所得税，在这个框架下，一个人如实报告收入的意愿与他的类型正相关。我们的研究表明，与阻止低生产力类型的人作弊相比，允许他们作弊会导致帕累托优结果，即使审计可以无成本地执行。当没有作弊时，再分配就会发生在第一和第二优的边界上，而且永远不会让低能力类型比高能力类型更富裕。让低能力类型的人作弊可以让优先-最佳再分配达到一个限制，即低能力类型的人比高能力类型的人过得更好。