Theory and Computation of the Property Tax on Forests | Synapse