Re: pushouts in REL