Text this: Introduction to the formal method