Is it right to say that `dependent_cases_on_phone` is the footprint of `cases_on_phone`, i.e. all cases (recursively) referenced by cases on the phone, not including the cases in the original set (`cases_on_phone`) themselves?