graph abstraction