Assuming the government cannot fully observe either individual types or incomes and jointly picks optimal taxes and audit policies against evasion can significantly alter standard results from optimal income taxation and tax-evasion models, which treat these separately. We consider this when...