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.jmannino.com/quick-save-Canon-imageCLASS-MF227dw-Monochrome-Multifunction-Laser-Printer-great-choice/