abstract value