Text this: Implementing discrete mathematics