The power set of a power set · Proofwise