recursive a power b - ongoing