Manuscript Hawk05-A@1 · Hawk05-A.tex · section · 449f85bb
A fixed finite autonomous proxy is recurrent
Finite recurrence and the three ledgers › A fixed finite autonomous proxy is recurrent · lines 1610–1617
The proposition concerns a fixed finite autonomous closed proxy, not the externally controlled terminal schedule in Section sec:schedule. An outgoing limit or a changing access model needs its own justification CheungHawk04A,CheungHawk04D.