operator- can be const