abstraction heirarchy simplifications