Yay for large but finite upper bounds

[sniffnoy]

But I suppose 3^3^n isn't so large as things could have gone...

Unrelatedly, the table in the study lounge has fallen apart, but nobody has stuck it in the ceiling. (Not that it would work.)