remarks from amir
complexity of bit string addition