Extraction.toString())