Greatest_element loading ...