Doc for __lt__