separated_equiv