Text this: Understanding formal methods /