Define superexponentiation in terms of exponentiation:

  sup(X,N) means  

  sup(X,0) Þ X;