Simplifying Abstractions