leda [atomica] doesn't have any sets.