seemingly useless push