Text this: Elementary theory of metric spaces