Concrete abstractions