string_diagram