to the set of pairs of natural numbers codifying programs
such that there exists an input for which the first program halts and the
second program does not halt (roughly, the set of pairs of programs which stop
and do not stop with some common input), in order to prove that such set is not
semi-decidable (not recursively enumerable).