\forall p(x) \lor \forall q(x)] \Rightarrow \forall [p(x) \lor q(x)]