Describir: Model theory makes formulas large