The two-variable $p$-adic Birch–Swinnerton-Dyer conjecture

Let $r=\operatorname{rk}E(K)$, let $\mathbf{L}\in\mathbf{\Lambda}$ be the two-variable $p$-adic $L$-function, and let $\mathbf{I}$ be the augmentation ideal of $\mathbf{\Lambda}$. Let $R_p(E,K)$ be the two-variable $p$-adic regulator, let $c(\chi_{\mathrm{triv}})$ be the interpolation factor for the trivial character, let $\Sha(E/K)$ be the Shafarevich–Tate group, and let $c_v$ be the Tamagawa factors.

Two-variable $p$-adic Birch–Swinnerton-Dyer conjecture. The element $\mathbf{L}$ lies in $\mathbf{I}^r$ and satisfies

\mathbf{L}\equiv c(\chi_{\mathrm{triv}})\\,\\#\Sha(E/K)\\,\prod_v c_v\cdot R_p(E,K)\pmod{\mathbf{I}^{r+1}}.

This is the two-variable leading-term formula predicted by the $p$-adic Birch–Swinnerton-Dyer principle. The supplied text gives no resolution.