Vladimir_Nesov comments on Exponentiation goes wrong first