Yes! The comment is also wrong because defining BB(748) requires defining busy beaver functions, which take more than those seven characters. I was going to re

Yes! The comment is also wrong because defining BB(748) requires defining busy beaver functions, which take more than those seven characters. I was going to reply to say that on the Reddit thread but it’s over a year old and doesn’t accept new comments.