https://9lib.org/document/z3dl8gxe-predual-standard-convergent-explicit-models-banach-banach-distance.html