Herbrandization