Deleting redundancies