Aggregate Design Using Invariants As A Guide