we can reason that pigs can't fly