User blog comment:Nayuta Ito/faketest/e0/@comment-30754445-20180804224856/@comment-25337554-20180804232305

FIxed.

However, ψ(Ω_2+ψ(Ω_2+1))=ψ(Ω_2+ψ(Ω_2)*ω) also looks to hold.