Extractions in Elcot