Updated sets (is powerset working?)