[Scarblac]

Similarly, if you know BB(n), you can use it to solve the halting problem for Turing machines up to that size.