Integer Complexity, Addition Chains, And Well-Ordering.