User blog comment:Eners49/The secret 0th hyper-operator?/@comment-35470197-20180726231426/@comment-2601:142:2:EC49:5CB6:1626:ABFF:B911-20180731161338

wait i'm pretty sure idea #2's actually WEAKER than the veblen function.