ADDED: pair_first/2, pair_second/2.