working on simplifying reduction, splitting, and
entanglement (associating alt_sets)