Construct abstraction