Text this: Formalizing natural languages :