a) Without loss of generality, assume that every poor is honest. Indeed, form the perspective of the collector, the expected utility of Auditing given that someone is poor and honest or poor and dishonest is the same. The tree takes the following form: [![enter image description here][1]][1] [1]: https://i.sstatic.net/QYPms.png b) First, It's clear that everytime a rich reports 1, the tax collector won't audit. If the rich reports 0, the Bayesian belief of the tax collector that he has high income given that he reported 0 is: $\sigma(p,q) = Pr(H|0) = \frac{Pr(0|H)Pr(H)}{Pr(0|H)Pr(H) + Pr(0|\bar H)Pr(\bar H)} = \frac{p(1-q)}{p(1-q) + 1-p}$ Hence the collector audits if and only if $E(U(A|0)) > E(U(T|0)) \iff (t+f-c)\sigma(p,q) -c(1-\sigma(p,q)) > 0$ Thus iff $c < \sigma(p,q)(t+f)$, she audits when she receives 0 report [...]