Text this: Formal and natural computing :