A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator.