working copy of ice pushing