classical theory of calculus of valuations