Update Abstraction.cpp