R_Herbrand

R_Herbrand