pi^(pi^(pi^pi))