Around 1940, Lind [Lin] and (independently, but shortly later) Reichardt [Re] discovered that some genus 1 curves over Q, such as 2y = 1− 17x, violate the Hasse principle; i.e., there exist x, y ∈ R satisfying the equation, and for each prime p there exist x, y ∈ Qp satisfying the equation, but there do not exist x, y ∈ Q satisfying the equation. In fact, even the projective nonsingular model h...