I go back and forth between putting the +1 on the first line, or repeating it in the other lines. Putting it on the first line is harder to screw up, but harder to read.
For real programs you basically have to put it in the initial computation, or it will be forgotten somewhere later (maybe in a later commit).
For real programs you basically have to put it in the initial computation, or it will be forgotten somewhere later (maybe in a later commit).