operator- implemented and tested