Symbol: sum_claim