added fold to pushFS