added the __add__ method