Comment by lngnmn

By providing a heuristic that doubling could be defined as x+x and 2*x. That one plus one is the same as one two times.