User blog comment:Alemagno12/Binary Function II: A New Theory Of Everything/@comment-30004975-20180418200946

It's a well known result that every notation weaker than BN2 can stabilize in a universe and that any notation stronger than BN2 will never stabilize, but it is unknown if BN2 can itself stabilize in a universe.