?? ... small zariski topos ... ?? condition on model that's _not_ just condition on carrier ring ... ??so what about, for example, "good element of commutative ring" ?? .... and so forth ... ?? ??"good invertible submodule of internalization of v over commutative ring" ... ???and so forth ... ??....