Fixing Power Set formula