Extractions in Arclid