Suppose NASA's Mars helicopter Ingenuity has successfully completed its 19th flight, surpassing all expectations for its mission.
Can we infer that "Ingenuity is the first helicopter ever to fly on Mars"?