Maximal_and_minimal_elements loading ...