1) renamed powerset files for clarity