Nonstandard utilities for lexicographically decomposable orderings · Study