How Government Efficiency Lowers Taxes—And Why We Must Codify It