PairFunc is bijective