powerset done.