BSD = https://en.wikipedia.org/wiki/Birch_and_Swinnerton-Dyer_conjecture
    GRH = https://en.wikipedia.org/wiki/Generalized_Riemann_hypothesis