The Abstraction Engine