Removing redundancy