> > Whatever a "digit" in WMytheology is, I am unable to produce > them to WM's satisfaction (it remains undefined). > > By the same standard, is he not obligated to produce a list > of successively FISON-long strings which include a string as > long as their union?
Of course, here is a list that contains all strings as long as the union of all their preceding strings:
