a^b:(a^b)^?n now succeeds, with n becoming 1