??model of topos given by site as ... ???flat co-presheaf, satisfying extra property ... relating to covers in grothendieck topology ... ???something about "believing that the covers actually cover" ... ??or something ??? ...