Text this: Applying formal methods :