Title: Herbrand Sequent Extraction