Added Abstraction computation