Order-preserving_function loading ...