New __add__ function