has bounded quantification, the universally quantified variable ranges over , the existentially quantified variable ranges over the powerset of . On the other hand,
has bounded quantification the universally quantified variable ranges over  the existentially quantified variable ranges over the powerset of  On the other hand,