Text this: Implementing discrete mathematics :