User blog comment:KthulhuHimself/Norminals Revisited./@comment-25601061-20160708204509

I have an idea for the Norminal Function: Let the ordinal in the brackets be an uncountable one, so we have an OCS!