lexicographicallyPrecedes