Removing redundancies