Re: [Python-ideas] Automatic total ordering