User blog comment:MachineGunSuper/The Hierarchy Replacement Function/@comment-32783837-20171223145318/@comment-80.98.179.160-20171223205723

ω{ω+1}ω is gamma-zero because ω{ω}ω is NOT just comparable to φ(ω,0). It IS φ(ω,0).