separated out DiagrammaticFiniteSetsUtilities