you must add stuff here. Also remove the "__ne__" case.