Text this: Assertion-based design /