push realization