Note about addition being constant time (maybe expand)