On the other hand, if junctions really are sets of sets, then maybe it's a mistake to autocoerce junctions to sets by swiping their internal set of values. Arguably any(1,2,3) should coerce not to
(1,2,3) but to ( (1), (2), (3), (1,2), (1,3), (2,3), (1,2,3), ) Larry