See __lt__.