Concrete Abstractions