Textmeddelande: Model theory makes formulas large