I think there’s 3 basic cases 1. products of different subjects of the same rule 2. products of different subjects of the different rules 3. products of the same subject of different rules 1 and 2 are possible results of SelectDependencies, and 3 is currently the ConflictingProducers case for Select