Suppose that P is a productive set with productive function p. Put W_n=\emptyset and W_h(x)=W_x U {p(x)}. Define W={p(n),p(h(n)),p(h(h(n)),....} Suppose that repetition occurs in W. Why exactly then W \notsubset P ? Jan Pax