Infinite Abstraction Machine