Rich abstractions