- Somehow a nicer version of a stack where torsion in the automorphism groups aren't messing things up 
- There is a [quasiprojective](quasiprojective) variety $M_g$ and a morphism $\mathcal{M}_g \to M_g$ such that

![](attachments/Pasted image 20210511152735.png)