pushouts in REL