sixes_and_sevens comments on Exponentiation goes wrong first