Tate-Shafarevich_group loading ...