However, these expressions become arbitrarily large when dealing with systems such as Knuth's up-arrow notation.
On the other hand, these expressions grow to an impractical size when considering systems like Knuth's up-arrow notation.