Axion effective potentials induced by heavy sterile fermions | Synapse