Text this: Proceedings of the Herbrand symposium :