progressions. Our proofs exploit the modularity of Galois representations corresponding to
certain Frey curves, together with a variety of results, classical and modern, on solvability of
ternary Diophantine equations. As a straightforward corollary of our work, we sharpen and
generalize a theorem of Sander on rational points on superelliptic curves.