String_diagram loading ...