Abstraction compression done