Docstring of add and mul