...Pre-Conditions
Sum = Sum + Next_Number; //This step adds the following number to Sum
...Post-Conditions
As we can see that step is crucial when finding the sum, therefore by iterating that same line of code we've allowed the code to be repeated. Though we assume as a Pre-Condition that the next number in the set will be Next_Number.

