Parallel push: some more helper functions -- not done yet.