 Lévy reflection theorem

For every finite collection $\Phi$ of first-order formulas, there are arbitrarily large ordinals $\alpha$ such that, for every $\phi \in \Phi$ and all parameters in $V_{\alpha }$,The reflecting ordinals for $\Phi$ form a closed unbounded class.