Text this: Axion effective potentials induced by heavy sterile fermions