 whose truth condition, according to Tarski’s usual semantics, is precisely what one would expect: the above expression is true if and only if for every boy \(b\) it is possible to find a girl \(g\) and a boy \(b'\) such that \(b\) loves \(g\) and \(g\) loves \(b'\) and \(b\) and \(b'\) are not the same. The identity of the girl \(g\) may of course depend on the identity of the first boy \(b\)—after all, for this expression to be true we do not require that all boys are in love with all girls—and, furthermore, the identity of the second boy \(b'\) may depend on both the identity of the first boy \(b\) (since \(b'\) must be different from \(b\)) and from the identity of the girl \(g\) that \(b\) loves. So the dependency pattern between our quantified variables is as follows: \(y\) depends on \(x\), while \(z\) depends on both \(x\) and \(y\). From a syntactic perspective, this is reflected by the fact that \(\exists y\) is in the scope of \(\forall x\) while \(\exists z\) is in the scope of both \(\forall x\) and \(\exists y\).