Also, this does indeed do the right thing when the powers don't denest (because the base is negative)?