Code Editor : total_ordering.py