Title: Applications of the Herbrand theorem