Text this: Theory and Practice of Formal Methods