min/max now always reduce compatible terms.