#abstract-extraction