bag abstractions