added description of no.redundancy argument