User blog comment:KthulhuHimself/Norminals Revisited./@comment-1605058-20151210195856

Where did vell claim to have defined busy beaver in 500 characters?