Now put back the horse that you took out, and pull out a different one. Suppose that all of the k horses now in the set are the same color. All horses have an infinite number of legs. It is also well-known that horses have forelegs in front and two legs in back. However, suppose that there is a horse somewhere that does not have an infinite number of legs.
Pie are round.
Cornbread are square. Statisticians probably do it. Algebraists do it in groups. C programmers do it with long pointers. No cat has eight tails.