We study optimal taxation in a dynamic Mirrlees' incentive structure where both aggregate and idiosyncratic risks are present. When aggregate shocks are i.i.d., we characterize the steady-state of our economy and prove the existence of an invariant distribution of expected utilities, which is...