I don't think any others are required. It makes sense to define __ne__() to do the inverse of this though.