https://123dok.net/document/z1drow48-continuous-first-order-logic-for-unbounded-metric-structures.html