Before revision:  Moreover, we show that any mechanism that only operates on the final aggregate  should require a user complexity of the same order.
After revision:  Moreover, we show that any mechanism that only operates on the final aggregate counts should require a user complexity of the same order.