erdos_ko_rado_t_intersecting