lexigraphically
not defined yet