Title: Elementary Theory of Metric Spaces