??so what _about_ relationship between [??indications that we're maybe seeing of relationship between "double-negation topology" and "generic" ... or something ... for example with "decidable toset" ... ??...] and [... ?? something about concept of "generic" in "forcing" context ...?? or somethihng ... ???....] ???

????bunch of side issues here ... ??? ... ??what about something about "baire category ..." vs "open dense ..." and/or "regular open" ... ???... or something .... ??? ... ??and so forth ... ? ...