For stuff that *does* have a perceptible impact, then this can be discussed concretely. Random eg: if we have n UAs with an AT action to get to <main>, and they all only jump to the first <main> leaving the rest inaccessible, you can test that, spec should reflect reality, etc.
♥ 1