@jolly-chef-92794: thanks. note that it might be a bit more than that... transitivity on a dependent might make sense, but scope probably doesn't