Comment on #adder procedure.
Verify additive properties of #adder.