Ornithopters, helicopters, and airplanes are heavier-than-air aircraft