我们在一个框架中研究了最优所得税，其中一个人如实报告收入的意愿与他的类型正相关。我们表明，即使审计可以无成本地进行，允许低生产率类型的人作弊比阻止他们作弊会导致帕累托优结果。当不存在欺骗时，再分配发生在第一和第二好的边界上，永远不会让低能力的人比高能力的人更富裕。允许低能力类型的人作弊，允许最优再分配，直到低能力类型比高能力类型更好的极限。