Text this: Formal and Natural Computing