A Dynamic Theory of Taxation