Added abstract implementation to Implemented_as