Text this: Teaching and learning formal methods