I don't know this Hywel person. But number of things of a type is different from number of types of thing. 8^) Unless types of a thing are also things of a type. Channeling a modern teenager: That's so meta, dude. On 11/17/19 6:55 AM, Frank Wimberly wrote: > Channeling Hywel, I hope accurately: There is no irrational number of > things of any type in the Universe