Proposes a model for evaluating state equalization aid formulas, accounting for municipal overburden and tradeoffs between expenditures and taxes. Tests the model using the Michigan state aid formula. Results relate elasticities to spending and tax levels and suggest that relatively unrestricted guaranteed tax base formulas can work. (PGD)