stuff on sum of natural numbers = -/12