Text this: Formality Theory