In effect, the conjecture says that every rational elliptic curve is a modular form in disguise. Or, more formally, the conjecture suggests that, for every elliptic curve over the rationals, there exist nonconstant modular functions and of the same level such that