superexponentiation