Works for SOP! (does not remove extra terms that only cover DCs)