nonredundant grouping