User blog comment:Nayuta Ito/An attempt to well-define OCF as a number notation/@comment-32697988-20190428074647/@comment-35470197-20190430023211

> Else, Cough(A) must be Ω: <ψ_Ω(A)>[n] = S_n

Then S_n should be S_{Uncast(n)}.