"Tate curve" . "Tate curve" . . . .