removed equivalence intersect and old rcr impl