@juandesant then that should be called the "fuckinObvioustorial", but that's not the sum of all positive integers less than zero. This is like Big Maths defining "penguins" as "flightless birds in Antarctica. Oh, and bananas. Yup, they're penguins, too". I blame Euclid.