On 19 Jun., 13:47, William Hughes <wpihug...@hotmail.com> wrote:
> A subset of nodes is distinguished from every > element of P that you can specifically address > if and only if it is not contained in > a single element of P that you can specifically > address. > > and you have agreed that t can be distinguished from > every element of P.
It does not matter whether I have agreed, it matters whether it is true. As you see from the tree, it is not true, unless the transformation from the list to the tree would introduce new paths. That, however, would be something between mathemagic and matheology. Under any circumstances that is rubbish.