Talk:Blaki/@comment-44851822-20200701235505/@comment-44038403-20200702004341

You mean the biggest NL that is finite?