Chain Abstraction