operator- is done