This is the collection of all collections that are such that actual humans
can comprehend their membership criteria and can, at least in favorable circumstances,
determine, for things which are in fact members of the collection, that these things
are members. Such collections cannot, for example, contain infinitely complex things
or even things of such great finite complexity that no actual human could comprehend
them or decide whether they belonged to the collection.