Apr 7, 2024

where the subsets (tuples) are always a power of two length, so the power is sufficient. All even sets have at least a power zero mutable set, since the first iteration is odd with a subset of length 2^0 removed.