1. Metric Linear Orders and O-Minimality with Diego Bejarano