Terto-Grahal

The Terto-Grahal, an extension of Aarex Tiaokhiao's Grahal is equal to G(G(G(G(1)))) where G(x) represents Graham's Sequence. The name was coined by SuperJedi224.