Use as a late-stage polish for an Econometrica manuscript to enforce the terse, formal, theorem-numbered house style and clean mathematical exposition. Polishes prose and notation; it does not fix the proof (use ecta-theory-model) or the simulations (use ecta-robustness).