Abstraction adding