See __sub__.