remove admit in Pair_1