Text this: Design and synthesis :