To be fair, BB(40) is smaller than almost all positive integers.