gives up a pushout