handle equivalence assertions without adjacents