push revised edition