AvoidReduction() helper function