finished testing abstraction_service