Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth | Synapse