Boomerang Abstraction