Aggregate and state implemented