A number system having thirteen as its base, in which six times nine equals forty-two, and in which no one writes jokes.