exists s in set ss 
   & p in set E(s) and p not in set s.pts,

exists1 n in set {0, ..., card tree}
   & p >= rootpos*2**n and p < (rootpos + 1)*2**n