Recent joint research with Nathaniel Bannister has revealed a connection between the Pyknotic Sets of Barwick and Haine (the truncated versions of the Condensed Sets of Clausen and Scholze) and the Solovay model V(R). Via this connection, formalised as a geometric morphism of topoi, we are able to reproduce certain results of homological algebra in the Pyknotic Sets via automatic continuity results in the Solovay model. In this talk we place this result in context, as the culmination of a long history of dialogue between topos theoretic and set theoretic accounts of the theory of symmetric extensions, and discuss further uses for this formalism.