Added a comment to Abstraction.cpp