 One feature common to branching quantifier logic and independence friendly logic, as we can see, is that they do not separate the quantification of variables from the specification of non-standard patterns of dependence: as in the case of first order logic, whether a quantified variable \(v_1\) will or will not depend on some other quantified variable \(v_2\) will be determined by the respective position and form of their quantifiers.