The pure historical theory of taxation