Pair reasoning