Exponentiation is right-associative