At some point I'm going to learn the Japanese name for Knuth's up-arrow notation and then y'all're fucked