abstractification