  We prove canonical and non-canonical tree-of-tangles theorems for abstract
separation systems that are merely structurally submodular. Our results imply
all known tree-of-tangles theorems for graphs, matroids and abstract separation
systems with submodular order functions, with greatly simplified and shortened
proofs.
