Abstract improvement