proposition

Proposition 7.2

Anchor dependence

Proposition 7.2 (Anchor dependence). For the fixed one-letter block w=0w=0 and anchors Ar=02rA_r=0^{2r}, λ(0Ar0)=Ar.\lambda(0A_r0)=A_r. Consequently the same raw rope cell 00 requires infinitely many distinct typed receipt targets as its anchor varies.