NihilCredo comments on Exponentiation goes wrong first