Redundancy of terms is not an error but plays a positive role in composing search strategies.