User blog comment:KthulhuHimself/Norminals/@comment-25601061-20151030165419/@comment-26428969-20151030174742

he also said that N(0) can define proper classes if I remember correctly