We will now describe a recent attempt to generalize both Siegel’s theorem and Hall’s
conjecture in one go. We need to begin by talking a little about rational solutions of
our equations. Although it is not obvious, there are infinitely many rational solutions
to each of our three starting equations. In each case, there is a way to produce them
all, starting with a finite set of rational points. This statement summarizes enormous
theoretical and practical knowledge about rational solutions (as opposed to integral
solutions) of equations defining elliptic curves. For example, the rational points on