Extractions in Horner