implicit_abstraction