Text this: Advances in program theory