Introduced Pair abstraction.