removing redundancy (4)