Injective for pairs.