[1-10] corrected powerset construction
[1-10] some whitespace
[1-10] punt of q1