https://9lib.org/document/wq26ovez-introducing-a-map-of-in-equalities.html