Synthesize SUM