Judicial review and the power of the executive and legislative branches

We develop this in the context of an optimal income tax model with a finite number of individuals where the government knows the exact distribution of types but not which individual is of which type. In this finite model, the government can detect misrevelation by even a single individual so that an individual׳s taxes can depend not just on one׳s own actions but also on others' actions. Piketty (JET, 1993) showed that the government could implement any full-information Pareto optimal allocation if the government could commit to its announcements, even to infeasible allocations in circumstances after some individuals misreveal. We derive the sequential equilibrium allocations when individuals reveal their types by simple announcements when feasibility on and off the equilibrium path is imposed. Increasing the degree of judicial review expands the set of achievable allocations on the full-information utility possibility frontier. We also relate the different possible legal rules to different solution concepts in game theory.