Theory: Aggregation protocol