#abstract-operations