redundancy and loop