Several more weeks pass. Noah checks on the snakes again. Lots of little snakes, everybody is happy. We're adders, and we need logs to multiply. Pi is about 3.
All horses are the same color.
Pull one of these horses out of the set, so that you have k horses. Suppose that all of these horses are the same color. 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.