SolveConflicts, and Reduce