User:Joost~enwiki/sandbox

$$S \to \exists x Q(x) \vdash \exists x (S \to Q(x))$$