structured abstraction