> Thank you very much for this. Please tell us what d.c.e. is. Difference of computably enumerable sets (i.e. W_e - W_f). BK -- http://www.math.lsa.umich.edu/~bkasterm/ Obligatory quote.