intersection_for equivalent demo