Under broad assumptions, government decisions about the efficient scope and level of activities can be efficiently separated from decisions about the design of taxation systems (Diamond-Mirrlees separation).
Под големи претпоставки,владините одлуки за ефикасниот простор и ниво на активности може ефикасно да биде одделен од одлуките за конструкција на системот за оданочување (Дајмонд-Мирлис одделување).