-redundant dependence