The next button in the lower toolbar invokes the Abstraction Manager which is used to bind abstract types to source code variables. The Abstraction Manager communicates this information about abstraction selection to the abstraction engine, and this information is used to drive the program transformation associated with abstraction.