erasing redundants