push evaluation reloaded