 \(\forall x\) binds all occurrences of \(x\); the variables in the second argument place of the two \(B\)s are bound by one of the two \(\exists y\)s, the latter of which interacts with \(\forall z\) via \(Ozy\).