prove push e pull