extract + Aggregate = more strictness