Bracket_abstraction