Pair abstraction endspec