Min strategy
= Min strategy
For <addition> of nonnegative <natural numbers> $a$ and $b$, start at $\max(a,b)$ and count $\min(a,b)$ further units. <Commutativity> guarantees the same sum while minimizing the increments among the two possible choices of starting addend.