soundness test for aggregate

Maybe you like: