Maximal_element loading ...