?? "unlimited dimension moduli stack as bad, unlimited number of pieces ok" ... ???....

??? "you wouldn't really want to consider the modulli stack of models of an environment" .... ????..... ????....

???underlying lex theory of free geometric theory on lex theory ??? .... and categorified analog ... ??? ....