SMS dit: The theory of valuations