proved map and fold_map are same