Symbol: intersect_rec