 For all \(k\), let \(\mathcal D(k-\forall)\) be dependence logic restricted to at most \(k\) universal quantifiers and let \(\mathcal D(k-dep)\) be dependence logic restricted to dependency atoms of the form \(\eqord(\vec x, y)\) for \(|\vec x| \leq k\). Then 