Is this not just negative of `__add__`?