Substructural logics naturally support a quantitative interpretation of formulas. as they are seen as consumable resources. Distances are the quantitative counterpart of equivalence relations: they measure how much two objects are similar. rather than just saying whether they are equivalent or not. https://www.diegojavierfares.com/special-offer-Rothbury-Chrome-two-handle-low-arc-bathroom-faucet-p13193-best-find/