?? level slip for category theorist learning alg geom ... comm ring as (giving) theory of doctrine, rather than alg of theory ... ?? though also funny duality flip here ... ?? interpretation as theory where models are modules ... ?? and formulas are .... ??? also modules (?? whole bit about ... doctrine as cateogrified lex theory ... lex theory as having "model-formula confusion" of sort .... ??? ...), or perhaps free modules ??? ..... ??? or finitary such ..... ???? ...... ????? .....

?? noncomm rings here .... ?? comm rings as monoidal such ..... ???? ...

?? model vs module vs model vs moduli .... ???? ......