Aggregate one at a time, not in batch
Vectorize sequential::DenseSet ==, <=, disjoint
Reimplement explore as client+server (buggy)