??so let t be a topos ... then consider model(t) -> [t,_set_] ... ???then try to reflect back into t^op along the yoneda embedding t^op -> [t,_set_] ??? ???or something ?? ... maybe ask todd about to what extent you can get away with this .... ???......