remove abstractions