SMS: The theory of valuations