Pairwise disjoint sets (p153) work in progress