structural abstraction