The following interesting question came up in a discussion I was having with Alex Wright. Suppose given a branched cover C -> P^1 with four branch points. It's not hard to see that the field of definition of C has transcendence degree at most 1 over $\mathbf{\bar{Q}}$. Which leads one to ask: Give an example of a field K of transcendence degree 1 over $\mathbf{\bar{Q}}$, and a geometrically connected curve C/K, such that C *does not* admit a branched covering to P^1 with four branch points. Some remarks: $\bullet$ If you replace "four branch points" with "three branch points" and "transcendence degree 1" with "transcendence degree 0," the nonexistence of such an example is Belyi's theorem. $\bullet$ There is no obstruction coming from the choice of K; a theorem of Diaz, Donagi, and Harbater guarantees that for any field K of transcendence degree 1 over $\mathbf{\bar{Q}}$, there exists a geometrically connected curve C/K which admits a 4-branched cover to P^1. $\bullet$ There is a somewhat subtle issue which doesn't arise in the Belyi case: a 4-branched cover C/K->P^1/K yields a map from Spec K to $\mathcal{M}_{{0,4}}$ ("forget the cover, remember the branch points") which, after passage to the generic point gives you a choice of inclusion of the function field $\mathbf{\bar{Q}}(\mathcal{M}_{0,4})$ into K. One can either consider K as an abstract field, or as a fixed extension of the rational function field $\mathbf{\bar{Q}}(\mathcal{M}_{0,4})$, which places a stronger condition on C. E.G. if you ask that this inclusion be an isomorphism, you are requiring that C be a 4-branched cover which is "determined uniquely by its branch points," like y^2 = x(x-1)(x-t).