Extraction Logic