> By chopping off a head we strictly decrease the ordinal. Because there are no infinite strictly descending sequences of ordinals, the hydra will eventually die, no matter how you chop off heads.
Santa keeps his elves under horrid, appalling conditions. Working everyday of the year for little pay in the freezing cold of the North Pole. But just how many elves does he need?
How many elves would it take to build enough toys for 2+ billion boys and girls across the world?
There have been two libraries with overlapping content for as long as I can remember. Probably related to the MSDN and TexhNet subscription options. The latter has been discontinued but I doubt the links will go away