SMS: The basic theory of real closed spaces /