Value abstraction