I have sum to prove