intersection_exists
ProgressValue