Abstractions and Simplications