I'm sorry to jump in, but I couldn't help but notice a slight error in this paragraph. Specifically:
...If you have a theory that pigs fly, then your theory would obviously be falsified if you ever see a pig fly....
Wouldn't that be:
'If you have a theory that pigs fly, then your theory would obviously be falsified if you ever see a pig not fly.'
Of course, since the theory isn't that all pigs fly all the time, not even that falsifies the theory.
I call it Intelligent Aerodynampigs.