0 → E(K)/nE(K) → Sel_n(E/K) → Ш(E/K)[n] → 0. Selmer is computable, Sha measures obstruction to Hasse principle on E.