Examples of Simplifying Abstractions