formal powers