everything but powerset