Bloch–Kato_conjecture loading ...