Deakstadieđáhus: Model theory makes formulas large