SMS dit: Elementary theory of metric spaces