Hasse_diagram loading ...