??so _is_ it in general true that double negation topos of stone space is coherent boolean locale corresponding to the isolated points ???? .... ???or something ???....

??hmm, is there some funny back and forth (...) here where ... ??taking double negation topos of stone-czech compactification of the natural numbers removes the limit points, but then the "elementarization" (or something ... lawvere's bit baout "wallman compactification" or something ... ??...) bit puts them back ??? ???or something???