https://mathoverflow.net/questions/244139/does-being-an-euclidean-relation-imply-being-a-shift-reflexive-relation
