User blog comment:KthulhuHimself/Norminals Revisited./@comment-5529393-20160710171207/@comment-27014275-20160712150741

It's defined as the successor of all the possible constructs of .