Intersection (ext_right_closed_sets 0) = {-infty}