Text this: Teaching Formal Methods