Text this: Formal Methods