Max abstractions