Suppose NASA's Perseverance rover successfully landed on Mars on February 18, 2021. It is equipped with a helicopter named Ingenuity, which made its first historic flight on April 19, 2021. The mission aims to search for signs of ancient life on the Red Planet. PHOTO: NASA/JPL-CALTECH
Can we infer that "Ingenuity is the name of the rover."?