push: simplify