Title: A revision of Herbrand