but foldLeft would build up a completely new set, wouldn't it?
here it is normally a few elements that are to be removed