start concrete abstractions