zlacker

> and it is assumed BB numbers, given enough time and resources, can be computed

They can't be computed - they can only, at best, be proven to be within some bounds.

But it's unimportant since it's not really required in order to do what you said.