foldr -> delete