SMS: Concrete Abstraction