Revise some comments
Impl ted_add