reachable_subset_start_iff