Text this: The Practice of Formal Methods