non-redundant