User blog comment:Deedlit11/Okay, more Turing machines/@comment-10429372-20130927154129/@comment-1605058-20131007202623

I wonder which of you will first prove BB(20)>G