Theorem. Barr's theorem [KGRZ]

If $\mathcal{E}$ is a Grothendieck topos, then there is a surjective geometric morphism

where $\mathcal{F}$ satisfies the axiom of choice.