Proposition 9.5. $E_0(K)$ is a subgroup of $E(K)$ and reduction modulo $\pi$ is a surjective group homomorphism $E_0(K)\to {Ẽ}_{\text{ns}}(k)$.