Text this: Writing behavioral contracts :