[BROKEN] Part 4 implementation

* Stuck making powersets
* Part 3 completed
* Some tests for part 4