added comments and a TODO. The signature of the generator of balanced
subsets.