i need to one day make a long post about the (imo) really cool things i'm doing in my master's thesis. taking a countable elementary submodel of your zfc model (not quite there's one more trick to make it work) and probing it from the outside to show your sets have the properties you want, only to then go "plot twist: this has worked in the original model the whole time" is really wild :D

