??hmm, so what about taking the slice topos before imposing the grothendieck topology, vs vice versa?? ... and so forth ...

???something about the topology as simply removing one model ... as usual ... ???

??so maybe it's important to take the slice topos first ... ??sort of because ... the model property corresponding to the grothendieck topology essentially refers to the "Z-frame" structure ... ?? ??or something ?? ...

??so what _about_ condition on N^2-set of pair (x,y) with xb=ya coming from unique element z with (x,y)=(za,zb) ?? ... ???as _not_ a sheaf condition ??? ... ???or what ???... ??hmm, or maybe it _is_ a sheaf condition ....