The observation that “[t]he single greatest cause of poor reliability of CAD systems is lack of topologically consistent surface intersection algorithms” dates back to 1999. Intersections, in turn, depend on trimming, as discussed here. Add programming intricacies and it’s no wonder it’s a mess. Intractable? Yes. Insoluble? Perhaps not.